From c1ce599e1193ee90c8d902f7aac330767d85bec2 Mon Sep 17 00:00:00 2001 From: Arnaud Rebillout Date: Sat, 16 Dec 2017 22:32:08 +0700 Subject: [PATCH] css docs: remove useless Signed-off-by: Arnaud Rebillout https://bugzilla.gnome.org/show_bug.cgi?id=791710 --- docs/reference/gtk/css-properties.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/reference/gtk/css-properties.xml b/docs/reference/gtk/css-properties.xml index 7f828bef87..33d3d8f96a 100644 --- a/docs/reference/gtk/css-properties.xml +++ b/docs/reference/gtk/css-properties.xml @@ -1254,7 +1254,7 @@ We use for syntax productions, and each line is put in a - background + background [ 〈bg-layer〉 , ]* 〈final-bg-layer〉 see individual properties CSS2, -- 2.30.2